A Groupoid of Isomorphic Data Transformations
نویسنده
چکیده
As a variation on the known theme of Gödel numberings, isomorphisms defining data type transformations in a strongly typed functional language are organized as a finite groupoid using a higher order combinator language that unifies popular data types as diverse as natural numbers, finite sequences, digraphs, hypergraphs and finite permutations with more exotic ones like hereditarily finite functions, sets and permutations. 1
منابع مشابه
Cayley Color Graphs of Inverse Semigroups and Groupoids
The notion of Cayley color graphs of groups is generalized to inverse semigroups and groupoids. The set of partial automorphisms of the Cayley color graph of an inverse semigroup or a groupoid is isomorphic to the original inverse semigroup or groupoid. The groupoid of color permuting partial automorphisms of the Cayley color graph of a transitive groupoid is isomorphic to the original groupoid.
متن کاملSome Observations on Dirac Measure-Preserving Transformations and their Results
Dirac measure is an important measure in many related branches to mathematics. The current paper characterizes measure-preserving transformations between two Dirac measure spaces or a Dirac measure space and a probability measure space. Also, it studies isomorphic Dirac measure spaces, equivalence Dirac measure algebras, and conjugate of Dirac measure spaces. The equivalence classes of a Dirac ...
متن کاملOn Infinitesimal Conformal Transformations of the Tangent Bundles with the Generalized Metric
Let be an n-dimensional Riemannian manifold, and be its tangent bundle with the lift metric. Then every infinitesimal fiber-preserving conformal transformation induces an infinitesimal homothetic transformation on . Furthermore, the correspondence gives a homomorphism of the Lie algebra of infinitesimal fiber-preserving conformal transformations on onto the Lie algebra of infinitesimal ...
متن کاملCayley Line Graphs of Transitive Groupoids
The line digraph of the Cayley color graph of a transitive groupoid can be colored so that the groupoid of partial automorphisms is isomorphic to a semidirect product of the original groupoid.
متن کاملGroupoid of orientational variants.
Daughter crystals in orientation relationship with a parent crystal are called variants. They can be created by a structural phase transition (Landau or reconstructive), by twinning or by precipitation. Internal and external classes of transformations defined from the point groups of the parent and daughter phases and from a transformation matrix allow the orientations of the distinct variants ...
متن کامل